Dybjer, P.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Epistemology versus Ontology || Truth and Proof in Intuitionism

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 255 KB

english, 2012

2

Comparing integrated and external logics of functional programs

Journal:

Science of Computer Programming

Year:

1990

Language:

english

File:

PDF, 1.93 MB

english, 1990

3

Inductive families

Journal:

Formal Aspects of Computing

Year:

1994

Language:

english

File:

PDF, 1.04 MB

english, 1994

4

Epistemology versus Ontology || Wittgenstein’s Diagonal Argument: A Variation on Cantor and Turing

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 262 KB

english, 2012

5

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 996 || Codifying guarded definitions with recursive schemes

Dybjer, Peter, Nordström, Bengt, Smith, Jan

Year:

1995

Language:

english

File:

PDF, 1.42 MB

english, 1995

6

A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory

Journal:

Journal of Symbolic Logic

Year:

2000

Language:

english

File:

PDF, 456 KB

english, 2000

7

Towards Formalizing Categorical Models of Type Theory in Type Theory

Alexandre Buisse, Peter Dybjer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 280 KB

english, 2008

8

A functional programming approach to the specification and verification of concurrent systems

Peter Dybjer, Herbert P. Sander

Journal:

Formal Aspects of Computing

Year:

1989

Language:

english

File:

PDF, 1.01 MB

english, 1989

9

[Lecture Notes in Computer Science] Applied Semantics Volume 2395 || An Introduction to Dependent Type Theory

Barthe, Gilles, Dybjer, Peter, Pinto, Luís, Saraiva, João

Year:

2002

Language:

english

File:

PDF, 369 KB

english, 2002

10

Epistemology versus Ontology || Real and Ideal in Constructive Mathematics

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 225 KB

english, 2012

11

Epistemology versus Ontology || Kant and Real Numbers

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 229 KB

english, 2012

12

Representing inductively defined sets by wellorderings in Martin-Löf's type theory

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 347 KB

english, 1997

13

Normalization by Evaluation for Martin-Löf Type Theory with One Universe

Andreas Abel, Klaus Aehlig, Peter Dybjer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 416 KB

english, 2007

14

The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories – an Intuitionistic Perspective

Alexandre Buisse, Peter Dybjer

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 273 KB

english, 2008

15

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || A final coalgebra theorem

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel

Year:

1989

Language:

english

File:

PDF, 529 KB

english, 1989

16

Epistemology versus Ontology || Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 241 KB

english, 2012

17

Epistemology versus Ontology || Constructivist Versus Structuralist Foundations

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 212 KB

english, 2012

18

[IEEE Comput. Soc 16th Annual IEEE Symposium on Logic in Computer Science - Boston, MA, USA (16-19 June 2001)] Proceedings 16th Annual IEEE Symposium on Logic in Computer Science - Normalization by evaluation for typed lambda calculus with coproducts

Altenkirch, T., Dybjer, P., Hofmann, M., Scott, P.

Year:

2001

Language:

english

File:

PDF, 637 KB

english, 2001

19

The biequivalence of locally cartesian closed categories and Martin-Löf type theories

CLAIRAMBAULT, PIERRE, DYBJER, PETER

Journal:

Mathematical Structures in Computer Science

Year:

2014

Language:

english

File:

PDF, 510 KB

english, 2014

20

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || Quantitative domains, groupoids and linear logic

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel

Year:

1989

Language:

english

File:

PDF, 1.44 MB

english, 1989

21

Semantics and Logics of Computation || Syntax and Semantics of Dependent Types

Pitts, Andrew M., Dybjer, P.

Year:

1997

Language:

english

File:

PDF, 2.51 MB

english, 1997

22

Some results on the deductive structure of join dependencies

Journal:

Theoretical Computer Science

Year:

1984

Language:

english

File:

PDF, 997 KB

english, 1984

23

Verifying Haskell programs by combining testing, model checking and interactive theorem proving

Peter Dybjer, Qiao Haiyan, Makoto Takeyama

Journal:

Information and Software Technology

Year:

2004

Language:

english

File:

PDF, 568 KB

english, 2004

24

Induction–recursion and initial algebras

Peter Dybjer, Anton Setzer

Journal:

Annals of Pure and Applied Logic

Year:

2003

Language:

english

File:

PDF, 828 KB

english, 2003

25

Epistemology versus Ontology Volume 416 || || Front_matter

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 305 KB

english, 2012

26

Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation

Peter Dybjer, Denis Kuperberg

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 257 KB

english, 2012

27

Inverse image analysis generalises strictness analysis

Journal:

Information and Computation

Year:

1991

Language:

english

File:

PDF, 1.00 MB

english, 1991

28

Indexed induction–recursion

Peter Dybjer, Anton Setzer

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 461 KB

english, 2006

29

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || A dialectica-like model of linear logic

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel

Year:

1989

Language:

english

File:

PDF, 709 KB

english, 1989

30

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || From petri nets to linear logic

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel

Year:

1989

Language:

english

File:

PDF, 1.43 MB

english, 1989

31

[Lecture Notes in Computer Science] Applied Semantics Volume 2395 || Monads and Effects

Barthe, Gilles, Dybjer, Peter, Pinto, Luís, Saraiva, João

Year:

2002

Language:

english

File:

PDF, 608 KB

english, 2002

32

Epistemology versus Ontology || In the Shadow of Incompleteness: Hilbert and Gentzen

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 417 KB

english, 2012

33

Epistemology versus Ontology || Machine Translation and Type Theory

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 334 KB

english, 2012

34

Epistemology versus Ontology || Coalgebras as Types Determined by Their Elimination Rules

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 238 KB

english, 2012

35

Epistemology versus Ontology || The “Middle Wittgenstein” and Modern Mathematics

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 210 KB

english, 2012

36

Epistemology versus Ontology || Program Testing and the Meaning Explanations of Intuitionistic Type Theory

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 275 KB

english, 2012

37

Epistemology versus Ontology || Normativity in Logic

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 264 KB

english, 2012

38

Epistemology versus Ontology || Type Theory and Homotopy

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 281 KB

english, 2012

39

Epistemology versus Ontology ||

Dybjer, P., Lindström, Sten, Palmgren, Erik, Sundholm, G.

Year:

2012

Language:

english

File:

PDF, 3.57 MB

english, 2012

40

[Lecture Notes in Computer Science] Applied Semantics Volume 2395 || The Join Calculus: A Language for Distributed Mobile Programming

Barthe, Gilles, Dybjer, Peter, Pinto, Luís, Saraiva, João

Year:

2002

Language:

english

File:

PDF, 534 KB

english, 2002

41

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 1956 || The Three Gap Theorem (Steinhaus Conjecture)

Coquand, Thierry, Dybjer, Peter, Nordström, Bengt, Smith, Jan

Year:

2000

Language:

english

File:

PDF, 137 KB

english, 2000

42

[IEEE Third International Conference on Quality Software, 2003. Proceedings. - Dallas, TX, USA (2003.11.7-2003.11.7)] Third International Conference on Quality Software, 2003. Proceedings. - Verifying Haskell programs by combining testing and proving

Dybjer, P., Qiao Haiyan,, Takeyama, M.

Year:

2003

Language:

english

File:

PDF, 332 KB

english, 2003

43

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements

Abel, Andreas, Coquand, Thierry, Dybjer, Peter

Year:

2007

Language:

english

File:

PDF, 181 KB

english, 2007

44

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || A note on categorical datatypes

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel

Year:

1989

Language:

english

File:

PDF, 314 KB

english, 1989

45

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 996 || On extensibility of proof checkers

Dybjer, Peter, Nordström, Bengt, Smith, Jan

Year:

1995

Language:

english

File:

PDF, 1.35 MB

english, 1995

46

Civil unrest linked to intrauterine growth restriction in western Kenya

Dybjer, E., Linvik, J., Nilsson, P. M.

Journal:

Journal of Developmental Origins of Health and Disease

Year:

2014

Language:

english

File:

PDF, 82 KB

english, 2014

47

[Lecture Notes in Computer Science] Types for Proofs and Programs Volume 996 || The metatheory of UTT

Dybjer, Peter, Nordström, Bengt, Smith, Jan

Year:

1995

Language:

english

File:

PDF, 1.31 MB

english, 1995

48

Intuitionistic model constructions and normalization proofs

COQUAND, THIERRY, DYBJER, PETER

Journal:

Mathematical Structures in Computer Science

Year:

1997

Language:

english

File:

PDF, 374 KB

english, 1997

49

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || An abstract formulation for rewrite systems

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel

Year:

1989

Language:

english

File:

PDF, 557 KB

english, 1989

50

[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 389 || Declarative continuations: An investigation of duality in programming language semantics

Pitt, David H., Rydeheard, David E., Dybjer, Peter, Pitts, Andrew M., Poigné, Axel

Year:

1989

Language:

english

File:

PDF, 1.46 MB

english, 1989